Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
211	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 14:54:18 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
212	BioNav: Effective Navigation on Query Results of Biomedical Databases Abhijith Kashyap1, Vagelis Hristidis#, Michalis Petropoulos2, Sotiria Tavoulari+ * Department of Computer Science and Engineering, SUNY at Buffalo Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2008-11-11 04:32:40 Binary trees Data types Knowledge representation Computing Tree B-tree R-tree T-tree Computer programming Software engineering
213	D ATA S TRUCTURES II ‣ binary heap demo Algorithms F O U R T H Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-28 07:04:23 Binary trees Binary heap Heap Computing Priority queues Sorting algorithms Data types Software engineering Computer programming Abstract data types Tree Min-max heap
214	Reminder: Lecture slides ● Lecture slides are posted online and are available before class Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-09-17 13:39:00 Software engineering Computing Computer programming Subroutines Data types Concurrent programming languages Object-oriented programming languages C++ Const C++ classes Java Method
215	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system
216	Towards Gradual Typing in Jython Michael M. Vitousek Shashank Bharadwaj Jeremy G. Siek Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:51 Software engineering Computer programming Computing Object-oriented programming languages Subroutines Data types Functional programming Type theory Parameter Type system Higher-order function Pointer
217	Towards a DSAL for Object Layout in Virtual Machines - Position Paper Stijn Timbermont Bram Adams Michael Haupt Add to Reading List Source URL: dsal.dcc.uchile.cl Language: English - Date: 2008-10-10 19:02:49 Software engineering Computing Computer programming Object-oriented programming Memory management Programming paradigms Data types Java Class Garbage collection VM Object model
218	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
219	Tree Search Guoliang Li Motivation Problem Applications Metrics Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2008-07-12 03:58:33 Computer programming Graph theory Software engineering Data types Recursion Tree traversal R-tree B-tree Tree Graph edit distance
220	Relationships for Dynamic Data Types in RSQL Tobias J¨akel* , Thomas K¨uhn+ , Stefan Hinkel* , Hannes Voigt* and Wolfgang Lehner* * Database Technology Group {tobias.jaekel, stefan.hinkel, hannes.voigt, wolfgang.lehner Add to Reading List Source URL: btw-2015.de Language: English - Date: 2014-12-15 07:46:34 Data management Computing Data modeling Data Relational model Database theory Relational database Data model Database Tuple Relational Relation